Prove That N A U B U C [n A N B N C N A N B N C ] [n Anb N Bnc N Anc